#!/bin/sh

echo ===========================================
echo Checking longer benchmarks
echo you may interrupt it any time
echo bug SAT, dlx2_cc UNSAT, slider sat=SAT, unsat=UNSAT
echo ===========================================

for i in @top_srcdir@/tests/longer_tests/*.params
do
 PARAMS="@top_srcdir@/tests/longer_tests/`cat $i`"
 CMD="../src/sbsat --debug 1 --ini ../tests/emptyite.ini --ctrl-c 0 $PARAMS"

 $CMD
 if [ $? != 0 ] ; then
    echo "Failed command: $CMD"
    exit 1;
 fi
done

echo ===========================================
echo Done - Success
echo ===========================================

exit 0
